From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL

نویسندگان

  • Jan Mendling
  • Michael Hafner
چکیده

The Web Service Choreography Description Language (WSCDL) is a novel specification for describing multiple party collaboration based on web services from a global point of view. WS-CDL is designed to be used in conjunction with the Web Services Business Process Execution Language (WS-BPEL or BPEL), but up to now work on conceptual mappings between both languages is missing. This paper closes this gap by presenting how BPEL process definitions of all parties involved in a choreography can be derived from the global WS-CDL model. We have implemented a prototype of the mappings as a proof of concept. The advantage of such transformations are twofold. Firstly, the mere automation offers a speed-up of the engineering process. Secondly, automatic generation of BPEL stubs minimizes the risk of inconsistent process implementations of the various parties involved. Accordingly, the automatic transformation leverages the quality of the software components interacting in the choreography as advocated in the Model Driven Architecture concept.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

CSP-Based Verification for Web Service Orchestration and Choreography

Service-oriented computing aspires to an unprecedented level of platform-independence and inter-operability of software components for intra-and inter-organizational business processes through standard protocols and languages for workflows and process-oriented applications. The Web Service Business Process Execution Language (WS-BPEL) and the Web Service Choreography Description Language (WS-CD...

متن کامل

From WS-CDL choreography to BPEL process orchestration

The Web Service Choreography Description Language (WSCDL) is a specification for describing multi party collaboration based on Web Services from a global point of view. WS-CDL is designed to be used in conjunction with the Web Services Business Process Execution Language (WS-BPEL or BPEL). As WS-CDL is a new choreography language, there has been doubt on the feasibility of a transformation to B...

متن کامل

A Survey of Web services Orchestration and Choreography with Formal Models

The service-oriented architecture (SOA) promises a new generation of information systems applications based on a new set of standards for enabling self-describing interoperable Web services. Web service orchestration and choreography are both concerned with the composition of Web services to meet the needs of business processes. There are two important standards for modeling and implementing wo...

متن کامل

Maintaining WS-BPEL Workflows Using Aspects

In Service Oriented systems organisational processes are represented as WS-BPEL workflows, WS-BPEL is different from traditional workflow languages as a hybrid of block-based and graph-based language; it also has limited support for separation of concerns. Changes to such processes usually impact many places in the underlying system, without separating such cross-cutting concerns system mainten...

متن کامل

Model Checking Techniques applied to the design of Web Services

In previous work we have presented the generation of WS-CDL and WS-BPEL documents. In this paper we show the unification of both generations. The aim is to generate correct WS-BPEL skeleton documents from WS-CDL documents by using the Timed Automata as an intermediary model in order to check the correctness of the generated Web Services with Model Checking Techniques. The model checker used is ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005